Taking individual heterogeneity in mortality risks into account in demographic studies of wild animal populations: development and use of statistical models.

The Cormarck-Jolly-Seber model incorporating frailty implemented in WinBUGS, using the 9000 kittiwake’s dataset monitorized during 22 years, showed that the convergence is very low over computational view. We developed different kind of multistate model, considering independence/dependence between random effect of breeding and survival probability. The last part of the work was dedicated to model selection with Bayesian framework

Boost the Impact of Continuous Formal Verification in Industry

Software model checking has experienced significant progress in the last two decades, however, one of its major bottlenecks for practical applications remains its scalability and adaptability. Here, we describe an approach to integrate software model checking techniques into the DevOps culture by exploiting practices such as continuous integration and regression tests. In particular, our proposed approach looks at the modifications to the software system since its last verification, and submits them to a continuous formal verification process, guided by a set of regression test cases. Our vision is to focus on the developer in order to integrate formal verification techniques into the developer workflow by using their main software development methodologies and tools.Comment: 7 page

The classical double copy for Taub-NUT spacetime

The double copy is a much-studied relationship between gauge theory and gravity amplitudes. Recently, this was generalised to an infinite family of classical solutions to Einstein's equations, namely stationary Kerr-Schild geometries. In this paper, we extend this to the Taub-NUT solution in gravity, which has a double Kerr-Schild form. The single copy of this solution is a dyon, whose electric and magnetic charges are related to the mass and NUT charge in the gravity theory. Finally, we find hints that the classical double copy extends to curved background geometries.Comment: 13 pages, no figures. Minor edits to match journal versio

Spatially resolved physical and chemical properties of the planetary nebula NGC 3242

Optical integral-field spectroscopy was used to investigate the planetary nebula NGC 3242. We analysed the main morphological components of this source, including its knots, but not the halo. In addition to revealing the properties ofthe physical and chemical nature of this nebula, we also provided reliable spatially resolved constraints that can be used for future photoionisation modelling of the nebula. The latter is ultimately necessary to obtain a fully self-consistent 3D picture of the physical and chemical properties of the object. The observations were obtained with the VIMOS instrument attached to VLT-UT3. Maps and values for specific morphological zones for the detected emission-lines were obtained and analysed with routines developed by the authors to derive physical and chemical conditions of the ionised gas in a 2D fashion. We obtained spatially resolved maps and mean values of the electron densities, temperatures, and chemical abundances, for specific morphological structures in NGC 3242. These results show the pixel-to-pixel variations of the the small- and large-scale structures of the source. These diagnostic maps provide information free from the biases introduced by traditional single long-slit observations. In general, our results are consistent with a uniform abundance distribution for the object, whether we look at abundance maps or integrated fluxes from specified morphological structures. The results indicate that special care should be taken with the calibration of the data and that only data with extremely good signal-to-noise ratio and spectral coverage should be used to ensure the detection of possible spatial variations.Comment: 11 pages, 8 figures accepted for publication in Astronomy & Astrophysic

Negative modes and the thermodynamics of Reissner-Nordstr\"om black holes

We analyse the problem of negative modes of the Euclidean section of the Reissner-Nordstr\"om black hole in four dimensions. We find analytically that a negative mode disappears when the specific heat at constant charge becomes positive. The sector of perturbations analysed here is included in the canonical partition function of the magnetically charged black hole. The result obeys the usual rule that the partition function is only well-defined when there is local thermodynamical equilibrium. We point out the difficulty in quantising Einstein-Maxwell theory, where the so-called conformal factor problem is considerably more intricate. Our method, inspired by hep-th/0608001, allows us to decouple the divergent gauge volume and treat the metric perturbations sector in a gauge-invariant way.Comment: 24 pages, 1 figure; v2 minor changes to fit published versio

Narrowband Photon Pair Source for Quantum Networks

We demonstrate a compact photon pair source based on a periodically poled lithium niobate nonlinear crystal in a cavity. The cavity parameters are chosen such that the emitted photon pair modes can be matched in the region of telecom ultra dense wavelength division multiplexing (U-DWDM) channel spacings. This approach provides efficient, low-loss, mode selection that is compatible with standard telecommunication networks. Photons with a coherence time of 8.6 ns (116 MHz) are produced and their purity is demonstrated. A source brightness of 134 pairs(s.mW.MHz)$^{-1}$ is reported. The high level of purity and compatibility with standard telecom networks is of great importance for complex quantum communication networks